public operator
    apply[X,Y] { x X, f Lambda[X,Y] } Y
    { f(x) }


